Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
311	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
312	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
313	12th AGILE International Conference on Geographic Information Science 2009 Leibniz Universität Hannover, Germany page 1 of 3 Grounding Geographic Information Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2009-05-18 09:11:32 Ontology Knowledge representation Information science Technical communication Philosophy of mind Qualia Formal ontology Semantics Geographic information system Science Ethology Mind
314	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:46:29 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
315	Midwest Studies in Philosophy, XXXII[removed]Truth in Semantics MAX KÖLBEL S Add to Reading List Source URL: www.ub.edu Language: English - Date: 2010-01-13 06:49:49 Analytic philosophy Philosophical logic Meaning Semantics Theories of truth Proposition Formal semantics Truth Relativism Logic Philosophy Philosophy of language
316	An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Formal languages Semantics Predicate logic Theoretical computer science Model theory Discourse representation theory First-order logic Earley parser Prover9 Logic Mathematics Science
317	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R
318	Notes on Deontic Logic Nino B. Cocchiarella Deontic logic is the formal study of the normative concepts of obligation, permission, and prohibition. These concepts and their logical relationships to one another are distin Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 04:16:57 Deontic logic Norm Mathematical logic Ernst Mally Semantics of Business Vocabulary and Business Rules Logic Modal logic Philosophy
319	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R
320	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 1:81 165 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:19 Semantics Quantification Bertrand Russell Philosophy of language Formal languages Definite description Interpretation On Denoting Theory of descriptions Logic Linguistics Syntax

UPDATE